2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Java and the Java Virtual Machine: Definition, Verification, Validation
Автор:
Robert F. Stärk
, Автор:
Joachim Schmid
, Автор:
Egon Börger
Размер книги: 2.38 Mb
Abstract state machines A method for high level system design and analysis
Автор:
Egon Börger
, Автор:
Robert Stärk
Размер книги: 22.25 Mb
CSL '88 Computer Science Logic 2 conf
Автор:
Egon Börger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.87 Mb
Computer Science Logic, 6 conf., CSL '92
Автор:
Egon Börger
, Автор:
Gerhard Jäger
, Автор:
Hans Kleine Büning
, Автор:
Simone Martini
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.83 Mb
Computer Science Logic, 7 conf., CSL '93
Автор:
Egon Börger
, Автор:
Yuri Gurevich
, Автор:
Karl Meinke
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.87 Mb
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995
Автор:
Jean-Raymond Abrial
, Автор:
Egon Börger
, Автор:
Hans Langmaack
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.81 Mb
Computer Science Logic, 4 conf., CSL '90
Автор:
Egon Börger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
, Автор:
Wolfgang Schönfeld
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.67 Mb
CSL '87 Computer Science Logic 1 conf
Автор:
Egon Börger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.20 Mb
Computer Science Logic, 5 conf., CSL '91
Автор:
Egon Börger
, Автор:
Gerhard Jäger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.80 Mb
Computation Theory and Logic
Автор:
Egon Börger
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.50 Mb
CSL '89 Computer Science Logic 3 conf
Автор:
Egon Börger
, Автор:
Hans Kleine Büning
, Автор:
Michael M. Richter
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.21 Mb
Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003
Автор:
Egon Börger
, Автор:
Angelo Gargantini
, Автор:
Elvinia Riccobene
Категория:
CsLn_
Размер книги: 3.93 Mb
Abstract State Machines, B and Z, 1 conf., ABZ 2008
Автор:
Egon Börger
, Автор:
Michael Butler
, Автор:
Jonathan P. Bowen
, Автор:
Paul Boca
Категория:
CsLn_
Размер книги: 4.83 Mb